kripke structure (model checking) 뜻

• 크립키 구조

• structure:    noun, 물
• checking:    점검
• eric kripke:    에릭 크립키
• saul kripke:    솔 크립키
• bounds checking:    경계 검사
• checking account:    phrase, 당좌 예금 구좌
• fact-checking:    팩트체크
• feature-checking:    자질점검
• heartbeat checking:    하트비트 검사
• model:    noun, 모형, 원형, 본, 설계도, 모델, 마네킨, 모범, 모범적인, 모형의, 모양을 마들다(점토 따위를 어떤 형으로)뜨다, 설계하다, ...을 본뜨다, model school 시법 학교)
• model t:    phrase, 발달 초기의, 구식의
• algebraic structure:    대수 구조
• architectural structure:    구조물
• argument structure:    논항 구조
• beam (structure):    들보